Provide a standard API towards boards, and hooks at the arch level
so boards can provide the ARCH_HAS_IRQ_PENDING_OPS and
ARCH_HAS_IRQ_GET_ACTIVE kernel APIs.
Note: Boards do not necessarily need to implement this, so this does
not break out of tree boards forcing anybody to immediately provide
those. But it is recommended for all POSIX arch boards to provide them.
Signed-off-by: Alberto Escolar Piedras <alberto.escolar.piedras@nordicsemi.no>
95b605d7d4